Merge pull request #587 from antonio-nino-diaz-arm/an/rename-bl33-base

author danh-arm <[email protected]>

Fri, 8 Apr 2016 09:43:46 +0000 (10:43 +0100)

committer danh-arm <[email protected]>

Fri, 8 Apr 2016 09:43:46 +0000 (10:43 +0100)
author danh-arm <[email protected]>
Fri, 8 Apr 2016 09:43:46 +0000 (10:43 +0100)
committer danh-arm <[email protected]>
Fri, 8 Apr 2016 09:43:46 +0000 (10:43 +0100)
diff --cc Makefile
Simple merge
diff --cc docs/porting-guide.md
Simple merge
diff --cc docs/user-guide.md
Simple merge
author	danh-arm <[email protected]>
	Fri, 8 Apr 2016 09:43:46 +0000 (10:43 +0100)
committer	danh-arm <[email protected]>
	Fri, 8 Apr 2016 09:43:46 +0000 (10:43 +0100)
		1	2
Makefile	patch \|	diff1 \|	diff2 \|	blob \| history
docs/porting-guide.md	patch \|	diff1 \|	diff2 \|	blob \| history
docs/user-guide.md	patch \|	diff1 \|	diff2 \|	blob \| history